Global State Considered Helpful
نویسنده
چکیده
Reynolds’ view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in particular game semantics, by adding to typing contexts a zone for global state. This has the following advantages. Firstly, it causes the “good variable” equations for references to be validated, and also the noninterference equations between distinct references, as enumerated by Plotkin and Power. Secondly, it gives a cleaner categorical structure based on the configurations (state + program) used to describe operational semantics. Thirdly, it leads to a simpler proof that the game semantics is sound and adequate with respect to the operational semantics.
منابع مشابه
Observability-Enhanced PMU Placement Considering Conventional Measurements and Contingencies
Phasor Measurement Units (PMUs) are in growing attention in recent power systems because of their paramount abilities in state estimation. PMUs are placed in existing power systems where there are already installed conventional measurements, which can be helpful if they are considered in PMU optimal placement. In this paper, a method is proposed for optimal placement of PMUs incorporating conve...
متن کاملState Support: A Prerequisite for Global Health Network Effectiveness; Comment on “Four Challenges that Global Health Networks Face”
Shiffman recently summarized lessons for network effectiveness from an impressive collection of case-studies. However, in common with most global health governance analysis in recent years, Shiffman underplays the important role of states in these global networks. As the body which decides and signs international agreements, often provides the resourcing, and is responsible for implementing ini...
متن کاملCall for Articles
Do you have an article you would like to have considered for publication? Submit it to Global Advances in Health and Medicine! A review of the following standards will be helpful as you prepare your article for submission.
متن کاملGlobal properties of a tuberculosis model with lost sight and multi-compartment of latents
A tuberculosis (TB) model with lost sight and multiple latent classes is considered and studied. We derive the basic reproduction ratio $mathcal R_0$. There is always a globally asymptotically stable equilibrium state. Depending on the value of $mathcal{R}_0$, this state can be either endemic ($mathcal{R}_0> 1$), or infection-free ($mathcal{R}_0leq 1$). The global asymptotic stability of ...
متن کاملAgency, Structure and the Power of Global Health Networks
Global health networks—webs of individuals and organizations linked by a shared concern for a particular condition—have proliferated over the past quarter century. In a recent editorial in this journal, I presented evidence that their effectiveness in addressing four challenges—problem definition, positioning, coalitionbuilding and governance—shapes their ability to influence policy. The editor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 218 شماره
صفحات -
تاریخ انتشار 2008